A Process Language for Statecharts
نویسنده
چکیده
We deene a compositional labelled transition system semantics for statecharts via a translation into a new process language called SP. The main novelty of the language is an operator of process reene-ment, which reeects the statecharts hierarchical structure. The translation agrees with Pnueli and Shalev semantics of statecharts. However, since the language is parametric in the set of basic actions and in some operations over actions, other semantics of statecharts can be obtained by suitably instantiating the actions corresponding to transitions and the operations over actions.
منابع مشابه
A Process Language for Statecharts ? Francesca
We deene a compositional labelled transition system semantics for statecharts via a translation into a new process language called SP. The main novelty of the language is an operator of process reene-ment, which reeects the statecharts hierarchical structure. The translation agrees with Pnueli and Shalev semantics of statecharts. However, since the language is parametric in the set of basic act...
متن کاملStatecharts Via Process Algebra
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. Despite its popularity as a design notation for embedded systems, precisely de ning its semantics has proved extremely challenging. In this paper, a simple process algebra, called Statecharts Process Language (SPL), is ...
متن کاملTowards an Automatic Integration of Statecharts
The integration of statecharts is part of an integration me thodology for object oriented views Statecharts are the most important language for the representation of the behaviour of objects and are used in many object oriented modeling techniques e g in UML In this paper we focus on the situation where the behaviour of an object type is represented in several statecharts which have to be integ...
متن کاملExtended Statecharts: A Specification Formalism for High Level Design
This paper introduces Extended Statecharts as a comprehensive modeling mechanism for high level systems design. Extended Statecharts allow for the explicit representation of declarable problem-specific system soft failures, thereby allowing for failure related information to be incorporated into the high level system design. Temporal logic is used for verification of important design properties...
متن کاملA Translation of Statecharts to EsterelS
Statecharts and Esterel are two formalisms that have been widely used in the development of reactive systems. Statecharts are a powerful graphical formalism for system speciication. Esterel is a rich synchronous programming language with supporting tools for formal veriication. In this paper, we propose a translation of Statecharts to Esterel and discuss such an implementation. A characteristic...
متن کامل